System of systems engineering - PDFSEARCH.IO - Document Search Engine

System of systems engineering
Results: 3314

#	Item
211	Trustworthy Medical Device Software Kevin Fu Assistant Professor University of Massachusetts Amherst Department of Computer Science Add to Reading List Source URL: spqr.eecs.umich.edu Language: English - Date: 2011-08-16 12:32:05 Technology Computing Software engineering Formal methods Medical technology Software development process Medical equipment Systems engineering Medical device Life-critical system IEC 62304 Computer security
212	Built for living Understanding behaviour and the built environment through engineering and design Report from a series of three workshops Add to Reading List Source URL: suslab.rca.ac.uk Language: English - Date: 2015-08-06 06:24:17 Philosophy of technology Sociotechnical system Systems psychology Systems theory Productivity Ethology Engineering Design for behaviour change Evidence-based design
213	9th International Conference on Research Challenges in Information Science, May, Athens, Greece Doctoral Consortium Model-Based Enterprise Information System Add to Reading List Source URL: rcis2015.hua.gr Language: English - Date: 2015-05-25 09:38:30 Systems engineering Engineering Systems science Software Systems Modeling Language Model-based systems engineering International Council on Systems Engineering Enterprise Architect ISO/IEC 42010 Modeling language Papyrus System of systems
214	Impossibility of Distributed Consensus with One Faulty Process MICHAEL J. FISCHER Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2007-09-04 12:03:48 Computing Electrical engineering Engineering Fault-tolerant computer systems Distributed computing Network architecture Consensus ACM SIGACT Asynchronous system
215	A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-05 06:08:36 Software Theoretical computer science Systems engineering Unified Modeling Language Formal methods Logic in computer science KeY Hybrid system Formal verification First-order logic Proof theory Model checking
216	Byzantine Fault Isolation in the Farsite Distributed File System Howdy. My name’s John Douceur. I’m with Microsoft Research, and this talk is about some work of Jon Howell’s and mine, developing the technique of By Add to Reading List Source URL: iptps06.cs.ucsb.edu Language: English - Date: 2006-03-03 15:30:43 Computing Engineering Systems science Systems engineering Fault-tolerant computer systems Byzantine fault tolerance Failure Fault tolerance Theory of computation Distributed computing Standard Performance Evaluation Corporation File system
217	IEEE PES Charles Concordia Power Systems Engineering Award This IEEE PES Award recognizes outstanding individuals who have contributed to highvoltage electric power system engineering. The field encompasses operations, p Add to Reading List Source URL: www.ieee-pes.org Language: English - Date: 2015-09-21 08:23:10 Institute of Electrical and Electronics Engineers Electromagnetism Electrical engineering Electric power distribution Emtp Hermann W. Dommel Charles Concordia IEEE Power & Energy Society Transient IEEE Medal in Power Engineering Mohamed E. El-Hawary
218	SASSUR 2015: The 4th International Workshop on Next Generation of System Assurance Approaches for safety-critical Systems Workshop Programme September 22, 2015 Delft, The Netherlands Add to Reading List Source URL: safecomp2015.tudelft.nl Language: English - Date: 2015-09-14 10:24:22 Safety engineering Evaluation Safety Dependability Quality Security Terraillon Tea Euthenics
219	A Study of the Impact of Computational Delays in Missile Interception Systems Ye Xu, Israel Koren and C. M. Krishna Department of Electrical and Computer Engineering, University of Massachusetts at Amherst, Amherst, MA 0 Add to Reading List Source URL: euler.ecs.umass.edu Language: English - Date: 2012-10-12 17:23:32 Ammunition Military science Military technology Missile guidance Targeting Tracking Missile defense Anti-ballistic missiles Missile Guidance system Command guidance MIM-104 Patriot
220	Towards Synthesis of Platform-aware Attack-Resilient Control Systems ∗ Extended Abstract Miroslav Pajic1 Add to Reading List Source URL: www.georgejpappas.org Language: English - Date: 2013-05-22 16:56:10 Control engineering Architecture Analysis & Design Language Architecture description language Software architecture Systems architecture Resilient control systems Embedded system Cyber-physical system Computer security Simulink Networked control system Control theory